1. Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky
Author: / Bob Coecke, Luke Ong, Prakash Panangaden
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, SOFTWARE ENGINEERING
Classification :
E-BOOK
2. Computation, logic, games, and quantum foundations :
Author: Bob Coecke, Luke Ong, Prakash Panangaden (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Abramsky, Samsom.,Jocs, Teoria de.,Lògica informàtica.
Classification :
QA76
.
B633
2013
3. Computer science logic : 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005 : proceedings
Author: Luke Ong )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer logic
Classification :
QA
76
.
L28
Vol
.
3634
4. Foundations of Software Science and Computational Structures
Author: / Luke Ong
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, SOFTWARE ENGINEERING
Classification :
E-BOOK
5. Foundations of software science and computational structures
Author: / Luke Ong (Ed.
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: System analysis, Congresses
Classification :
QA76
.
751
.
F67
2010
6. Logic, Language, Information and Computation
Author: / Luke Ong, Ruy Queiroz
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: ENGINEERING (uncategorised)&COMPUTER SCIENCE
Classification :
E-BOOK
7. Logic, language, information and computation
Author: Luke Ong, Ruy de Queiroz (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer logic, Congresses,Logic, Symbolic and mathematical, Congresses
Classification :
QA9
.
A1
W64
2012eb
8. 28, 2010. Proceedings-Foundations of Software Science and Computational Structures: 13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20
Author: / Colin Stirling (auth.), Luke Ong (eds.)
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: ENGINEERING (uncategorised)&COMPUTER SCIENCE
Classification :
E-BOOK
9. 3, 2011. Proceedings-Typed Lambda Calculi and Applications: 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1
Author: / Alexandre Miquel (auth.), Luke Ong (eds.)
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING
Classification :
E-BOOK
10. Typed Lambda Calculi and Applications
Author: / Luke Ong
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: ENGINEERING (uncategorised)&COMPUTER SCIENCE
Classification :
E-BOOK
11. Typed lambda calculi and applications
Author: [edited by]& Luke Ong
Library: Central Library and Information Center of Shahed University (Tehran)
Subject:
